Preservation of choice principles under realizability
نویسندگان
چکیده
منابع مشابه
Variations on Realizability: Realizing the Propositional Axiom of Choice
Early investigators of realizability were interested in metamathematical questions. In keeping with the traditions of the time they concentrated on interpretations of one formal system in another. They considered an ad hoc collection of increasingly ingenious interpretations to establish consistency, independence and conservativity results. van Oosten’s contribution to the Workshop (see van Oos...
متن کاملchoice principles and lift lemmas
we show that in {bf zf} set theory without choice, the ultrafilter mbox{principle} ({bf up}) is equivalent to several compactness theorems for alexandroff discrete spaces and to rudin's lemma, a basic tool in topology and the theory of quasi-continuous domains. important consequences of rudin's lemma are various lift lemmas, saying that certain properties of posets are inherited by th...
متن کاملPublic Choice Principles of Redistricting
This paper uses fundamental principles of public choice, mainly the median voter theorem, to develop a simple theory of redistricting. The focus is on how closely policy outcomes correspond to majority rule. The main results are: (1) Potential policy bias in favor of nonmajority groups is structurally linked to the number of legislative seats and the population, and the structure of most states...
متن کاملPreservation of Adiabatic Invariants under
Symplectic methods, like the Verlet method, are a standard tool for the long term integration of Hamiltonian systems as they arise, for example , in molecular dynamics. One of the reasons for the popularity of symplectic methods is the conservation of energy over very long periods of time up to small uctuations that scale with the order of the method. In this paper, we discuss a qualitative fea...
متن کاملKinna-wagner Selection Principles, Axioms of Choice and Multiple Choice
We study the relationships between weakened forms of the Kinna-Wagner Selection Principle (KW), the Axiom of Choice (AC), and the Axiom of Multiple Choice (MC). Introduction. In this paper we study the relationships between weakened forms of the Kinna-Wagner Selection Principle (KW), the Axiom of Choice (AC), and the Axiom of Multiple Choice (MC). The forms of these statements that we shall use...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of the IGPL
سال: 2019
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/jzz002